A performance model of speculative prefetching in distributed information systems

Previous studies in speculative prefetching focus on building and evaluating access models for the purpose of access prediction. This paper investigates a complementary area which has been largely ignored, that of performance modelling. We use improvement in access time as the performance metric, for which we derive a formula in terms of resource parameters (time available and time required for prefetching) and speculative parameters (probabilities for next access). The performance maximization problem is expressed as a stretch knapsack problem. We develop an algorithm to maximize the improvement in access time by solving the stretch knapsack problem, using theoretically proven apparatus to reduce the search space. Integration between speculative prefetching and caching is also investigated, albeit under the assumption of equal item sizes

Repugnance and Perfection

This article grew out of a BA thesis written several years ago under the supervision of Teruji Thomas. Many thanks to him for his thorough advice on both that thesis and this article. My thanks also to Simon Beard for comments and discussion on that thesis, and to Joe Horton, James Wilson, and two anonymous reviewers for Philosophy & Public Affairs for comments and discussion of this article. I am also grateful to receptive and probing audiences at the UCL Graduate Conference and the London Graduate Moral and Political Philosophy Workshop. This article is dedicated to the memories of Derek Parfit and Josh Parsons, both of whom inspired me to study philosophy. [Correction added on 27 May 2020, after first online publication: Throughout the article, there have been changes made to structure and grammar to improve clarity.

W-band sparse synthetic aperture for computational imaging

journal articleWe present a sparse synthetic-aperture, active imaging system at W-band (75 - 110 GHz), which uses sub-harmonic mixer modules. The system employs mechanical scanning of the receiver module position, and a fixed transmitter module. A vector network analyzer provides the back end detection. A full-wave forward model allows accurate construction of the image transfer matrix. We solve the inverse problem to reconstruct scenes using the least squares technique. We demonstrate far-field, diffraction limited imaging of 2D and 3D objects and achieve a cross-range resolution of 3 mm and a depth-range resolution of 4 mm, respectively. Furthermore, we develop an information-based metric to evaluate the performance of a given image transfer matrix for noise-limited, computational imaging systems. We use this metric to find the optimal gain of the radiating ele­ ment for a given range, both theoretically and experimentally in our system

Investigations on hybrid line stability ranking index with polynomial load modeling for power system security

Introduction. In recent years, numerous non-renewable and renewable energies are connected to the grid to meet the demand. Also, transient variation with loads poses the shortcomings for generating units, transmission and distribution networks. In this regard, the study on choice of suitable load modelling is essential to predict the system characteristics. The aspect of the research design is a ZIP load model, which, when combined with contingency criteria and constant-impedance, constant-current, and constant-power loads, produces realistic and long-term load representations. Purpose. The proposed technique, infers the single transmission line outage for obtaining the contingency ranking to ensure the system behavior. Methods. The proposed mathematical model with hybrid line stability ranking index has been used for observing the stability analysis with and without considering unified power flow controller. Results. The power system involves many unpredictable conditions or contingency conditions like single transmission line outage, double transmission line outage, generator outage and load variations. This paper mainly focuses on the single transmission line outage for obtaining the contingency ranking. Practical value. The recommended stability analysis has been very beneficial in establishing a secure transmission power system.Вступ. Останніми роками для задоволення попиту до мережі підключається безліч невідновлюваних і відновлюваних джерел енергії. Крім того, перехідна зміна навантаження створює недоліки для генеруючих установок, передаючих та розподільчих мереж. У зв'язку з цим дослідження з метою вибору відповідного моделювання навантаження має важливе значення для прогнозування характеристик системи. Одним із аспектів побудови дослідження є модель навантаження ZIP, яка у поєднанні з критеріями непередбачених обставин та навантаженнями з постійним імпедансом, постійним струмом та постійною потужністю дає реалістичні та довгострокові уявлення навантаження. Мета. Пропонований метод передбачає відмову однієї лінії передачі для отримання рейтингу непередбачених обставин для забезпечення поведінки системи. Методи. Запропонована математична модель із рейтинговим індексом стійкості гібридної лінії використовувалася для спостереження за аналізом стійкості з урахуванням та без урахування уніфікованого контролера перетікання потужності. Результати. Енергосистема включає безліч непередбачуваних умов або непередбачених обставин, таких як відключення однієї лінії передачі, відключення подвійної лінії передачі, відключення генератора і коливання навантаження. Ця робота присвячена відключенню однієї лінії електропередачі для отримання рейтингу непередбачених обставин. Практична цінність. Рекомендований аналіз стабільності виявився дуже корисним під час створення надійної системи передачі електроенергії

Testing two-phase transition signaling based self-timed circuits in a synthesis environment

Journal ArticleThe problem of testing self-timed circuits generated by an automatic synthesis system is studied. Two-phase transition signalling is assumed and the circuits are targetted for an asynchronous macromodule based implementation as in [?, ?, ?, ?]. The partitioning of the circuits into control blocks, function blocks, and predicate (conditional) blocks, originally conceived for synthesis purpose, is found to be very elegant and appropriate for test generation. The problem of data dependent control flow is solved by introducing a new macromodule called SCANSELECT (SELECT with scan). Algorithms for test generation are based on the Petri-net like representation of the physical circuit. The techniques are illustrated on the high-level synthesis system called SHILPA being developed by the Author's